Mobile services discovery framework using DBpedia and non-monotonic rules

Mobile services discovery framework using DBpedia and non-monotonic rules

Mobile services are constantly evolving, thanks to improvements in performance of mobile devices and wireless networks. As a result, there is a need for and efficient supply of discovery processes that will even allow non-technical users and developers to publish, discover and access services in a mobile environment where non-functional properties (context and quality of service information) pl...

NoHR: Querying EL with Non-monotonic Rules

We present NoHR, a Protégé plug-in that allows the user to take an EL+⊥ ontology, add a set of non-monotonic (logic programming) rules – suitable e.g. to express defaults and exceptions – and query the combined knowledge base. Provided the given ontology alone is consistent, the system is capable of dealing with potential inconsistencies between the ontology and the rules, and, after an initial...

Non-monotonic Geometric Mapping for Mobile Robots

Reconciling OWL and Non-monotonic Rules for the Semantic Web

We propose a description logic extending SROIQ (the description logic underlying OWL 2 DL) and at the same time encompassing some of the most prominent monotonic and nonmonotonic rule languages, in particular Datalog extended with the answer set semantics. Our proposal could be considered a substantial contribution towards fulfilling the quest for a unifying logic for the Semantic Web. As a cas...

Querying OWL 2 QL and Non-monotonic Rules

Answering (conjunctive) queries is an important reasoning task in Description Logics (DL), hence also in highly expressive ontology languages, such as OWL. Extending such ontology languages with rules, such as those expressible in RIF-Core, and further with non-monotonic rules, integrating default negation as described in the RIF-FLD, yields an even more expressive language that allows for mode...